Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
121	The Evolution Homomorphism and Permutation Actions on Group Generated Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Cellular automaton Dynamical system Theoretical computer science Garden of Eden Rule 90 Icosahedron Finite-state machine Quotient group Seeds Cellular automata Theory of computation Mathematics
122	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
123	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation
124	trx : Regular-tree expressions, now in Scheme Ilya Bagrak University of California, Berkeley Olin Shivers Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Computer programming Tree automaton Pattern matching Regular expression Pushdown automaton Binary tree Abstract syntax tree Nondeterministic finite automaton Finite-state machine Software engineering Automata theory Computing
125	Complexity and Universality of Iterated Finite Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Automata theory Computer science Cellular automata Computability theory Cellular automaton Finite-state machine Finite state transducer A New Kind of Science Turing machine Theory of computation Models of computation Theoretical computer science
126	PDF Document Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Computer science Finite-state machine Deterministic finite automaton Automata theory Models of computation Theoretical computer science
127	PDF Document Add to Reading List Source URL: flux.cs.queensu.ca Language: English - Date: 2014-10-30 17:26:17 Software engineering Computing Theoretical computer science Formal methods UML diagrams Model checking Finite-state machine ALGOL 68 UML state machine Models of computation Automata theory Digital electronics
128	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
129	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-01-29 18:33:38 Computer architecture Electronics Models of computation Inter-process communication Virtual synchrony NOP Algorithm Finite-state machine Consensus Fault-tolerant computer systems Computing Digital electronics
130	Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2015-04-17 05:58:29 Formal methods Computer science Finite state transducer Finite-state machine Semiring Büchi automaton Automata theory Models of computation Theoretical computer science

UPDATE